Logical frameworks
- Författare
- Workshop on Logical Frameworks 1990) Sophia-Antipolis : Gordon Plotkin Gérard Huet
- (Edited by Gérard Huet, G. Plotkin., "... first annual Workshop ... "Logical Frameworks: Design, Implementation and Experiment" ... Sophia-Antipolis, France from the 7th to the 11th of May 1990")
- Genre
- Ej skönlitteratur, Konferenser, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge Univ. Press | 1991 | Storbritannien, Cambridge | xii, 403 sidor. |